Diagnosability of Networks of Hybrid Systems
نویسندگان
چکیده
Results for the diagnosability of hybrid dynamical networks are presented. These results give the conditions for which arbitrary events (including faults) in hybrid networks can be detected and isolated using a general class of indicator functions. These results emerge from the overlap of the control theoretic fault detection and isolation and diagnosis communities. The interaction of the many systems in the network is exploited to achieve diagnosability conditions dependent only on the number of events in the network rather than the number of interconnected systems. The algorithmic complexity of the diagnosability conditions and methods of choosing a minimal indicator set that guarantee diagnosability are also addressed.
منابع مشابه
Diagnosability of Hybrid Dynamical Networks using Indicator Functions
Results for the diagnosability of hybrid dynamical networks are presented. These results give the conditions for which arbitrary events (including faults) in hybrid networks can be detected and isolated using a general class of indicator functions. These results emerge from the overlap of the control theoretic fault detection and isolation (FDI) and diagnosis (DX) communities. The interaction o...
متن کاملHybrid Fault diagnosis capability analysis of Hypercubes under the PMC model and MM* model
System level diagnosis is an important approach for the fault diagnosis of multiprocessor systems. In system level diagnosis, diagnosability is an important measure of the diagnosis capability of interconnection networks. But as a measure, diagnosability can not reflect the diagnosis capability of multiprocessor systems to link faults which may occur in real circumstances. In this paper, we pro...
متن کاملLimited-Time Lookahead Diagnosability of Rectangular Hybrid Automata
This paper investigates the diagnosability of Rectangular Hybrid Automata used for modeling a class of hybrid systems. First, a generalized definition of Limited-Time Lookahead diagnosability of timed languages, for multiple failure modes, is proposed. Then, we provide a systematic approach, for checking the LTLa diagnosability of systems modeled with Rectangular Hybrid Automata, and verifying ...
متن کاملCoupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis
In this paper we propose a hybrid system modeling framework aimed at analyzing diagnosability. In this framework, the hybrid system is seen as the composition of an underlying discrete event and an underlying continuous systems. Diagnosability of these two underlying systems are fully analyzed and new results are provided for the underlying continuous system (called the multimode system). Based...
متن کاملAn Event-based Approach to Hybrid Systems Diagnosability
Diagnosability is an important issue in the design of diagnostic systems, because it helps identify whether sufficient information is available to distinguish all the faults. Diagnosability of hybrid systems, however, is challenging, because mode transitions may occur during fault isolation. We present an event-based framework for hybrid systems diagnosis based on a qualitative abstraction of m...
متن کامل